Zena M. Ariola: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A tutorial on computational classical logic and the sequent calculus

DOWNEN, PAUL, ARIOLA, ZENA M.

Journal:

Journal of Functional Programming

Year:

2018

Language:

english

File:

PDF, 1.65 MB

english, 2018

2

A proof-theoretic foundation of abortive continuations

Zena M. Ariola, Hugo Herbelin, Amr Sabry

Journal:

Higher-Order and Symbolic Computation

Year:

2007

Language:

english

File:

PDF, 634 KB

english, 2007

3

From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition

Yong Xiao, Amr Sabry, Zena M. Ariola

Journal:

Higher-Order and Symbolic Computation

Year:

2001

Language:

english

File:

PDF, 138 KB

english, 2001

4

The call-by-need lambda calculus

ARIOLA, ZENA M., FELLEISEN, MATTHIAS

Journal:

Journal of Functional Programming

Year:

1997

Language:

english

File:

PDF, 398 KB

english, 1997

5

Abstracting models of strong normalization for classical calculi

Downen, Paul, Johnson-Freyd, Philip, Ariola, Zena M.

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2020

File:

PDF, 673 KB

2020

6

Properties of a first-order functional language with sharing

Zena M. Ariola, Arvind

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 2.33 MB

english, 1995

7

Skew confluence and the lambda calculus with letrec

Zena M. Ariola, Stefan Blom

Journal:

Annals of Pure and Applied Logic

Year:

2002

Language:

english

File:

PDF, 574 KB

english, 2002

8

Confluent rewriting of bisimilar term graphs

Zena M. Ariola, Jan Willem Klop, Detlef Plump

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

File:

PDF, 29 KB

1997

9

Correctness of Monadic State: An Imperative Call-by-Need Calculus

Zena Ariola, Amr Sabry

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 31 KB

english, 1998

10

Relating graph and term rewriting via Böhm models

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

1996

Language:

english

File:

PDF, 1.32 MB

english, 1996

11

A type-theoretic foundation of delimited continuations

Zena M. Ariola, Hugo Herbelin, Amr Sabry

Journal:

Higher-Order and Symbolic Computation

Year:

2009

Language:

english

File:

PDF, 908 KB

english, 2009

12

Lambda Calculus with Explicit Recursion

Zena M. Ariola, Jan Willem Klop

Journal:

Information and Computation

Year:

1997

Language:

english

File:

PDF, 955 KB

english, 1997

13

Bisimilarity in Term Graph Rewriting

Zena M. Ariola, Jan Willem Klop, Detlef Plump

Journal:

Information and Computation

Year:

2000

Language:

english

File:

PDF, 431 KB

english, 2000

14

Delimited control and computational effects

DOWNEN, PAUL, ARIOLA, ZENA M.

Journal:

Journal of Functional Programming

Year:

2014

Language:

english

File:

PDF, 515 KB

english, 2014

15

Sequent calculi and abstract machines

Ariola, Zena M., Bohannon, Aaron, Sabry, Amr

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2009

Language:

english

File:

PDF, 1.17 MB

english, 2009

16

[ACM Press the 25th ACM SIGPLAN-SIGACT symposium - San Diego, California, United States (1998.01.19-1998.01.21)] Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '98 - Correctness of monadic state

Ariola, Zena M., Sabry, Amr

Year:

1998

Language:

english

File:

PDF, 1.51 MB

english, 1998

17

[ACM Press the 1991 ACM SIGPLAN symposium - New Haven, Connecticut, United States (1991.06.17-1991.06.19)] Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '91 - A syntactic approach to program transformations

Ariola, Zena M.

Year:

1991

Language:

english

File:

PDF, 1.00 MB

english, 1991

18

[ACM Press the conference - Copenhagen, Denmark (1993.06.09-1993.06.11)] Proceedings of the conference on Functional programming languages and computer architecture - FPCA '93 - Order-of-evaluation analysis for destructive updates in strict functional languages with flat aggregates

Sastry, A. V. S., Clinger, William, Ariola, Zena

Year:

1993

Language:

english

File:

PDF, 1010 KB

english, 1993

19

[ACM Press the 16th International Symposium - Canterbury, United Kingdom (2014.09.08-2014.09.10)] Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14 - Continuations, Processes, and Sharing

Downen, Paul, Maurer, Luke, Ariola, Zena M., Varacca, Daniele

Year:

2014

Language:

english

File:

PDF, 361 KB

english, 2014

20

[ACM Press the 19th ACM SIGPLAN international conference - Gothenburg, Sweden (2014.09.01-2014.09.06)] Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14 - Compositional semantics for composable continuations

Downen, Paul, Ariola, Zena M.

Year:

2014

Language:

english

File:

PDF, 651 KB

english, 2014

21

[ACM Press the 22nd ACM SIGPLAN-SIGACT symposium - San Francisco, California, United States (1995.01.23-1995.01.25)] Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95 - A call-by-need lambda calculus

Ariola, Zena M., Maraist, John, Odersky, Martin, Felleisen, Matthias, Wadler, Philip

Year:

1995

Language:

english

File:

PDF, 1.12 MB

english, 1995

22

Control reduction theories: the benefit of structural substitution

ARIOLA, ZENA M., HERBELIN, HUGO

Journal:

Journal of Functional Programming

Year:

2008

Language:

english

File:

PDF, 459 KB

english, 2008

23

A syntactic approach to program transformations

Ariola, Zena M.

Journal:

ACM SIGPLAN Notices

Year:

1991

Language:

english

File:

PDF, 1.00 MB

english, 1991

24

[ACM Press the 21st ACM SIGPLAN International Conference - Nara, Japan (2016.09.18-2016.09.24)] Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016 - Sequent calculus as a compiler intermediate language

Downen, Paul, Maurer, Luke, Ariola, Zena M., Peyton Jones, Simon

Year:

2016

Language:

english

File:

PDF, 545 KB

english, 2016

25

Call-by-name extensionality and confluence

JOHNSON-FREYD, PHILIP, DOWNEN, PAUL, ARIOLA, ZENA M.

Journal:

Journal of Functional Programming

Year:

2017

Language:

english

File:

PDF, 1.44 MB

english, 2017

26

[ACM Press the 38th ACM SIGPLAN Conference - Barcelona, Spain (2017.06.18-2017.06.23)] Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017 - Compiling without continuations

Maurer, Luke, Downen, Paul, Ariola, Zena M., Peyton Jones, Simon

Year:

2017

Language:

english

File:

PDF, 273 KB

english, 2017

27

The Duality of Classical Intersection and Union Types

Downen, Paul, Ariola, Zena M., Ghilezan, Silvia, Altenkirch, Thorsten, Schubert, Aleksy

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 486 KB

2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски